POUR PDF - copie 2
نویسندگان
چکیده
UML/OCL is perceived as the de-facto standard for specifying object-oriented models in general and data models in particular. Since recently, all data types of UML/OCL comprise two different exception elements: invalid (“bottom” in semantics terminology) and null (for “non-existing element”). This has far-reaching consequences on both the logical and algebraic properties of OCL expressions as well as the path expressions over object-oriented data structures, i. e., class models. In this paper, we present a formal semantics for object-oriented data models in which all data types and, thus, all class attributes and path expressions, support invalid and null. Based on this formal semantics, we present a set of OCL test cases that can be used for evaluating the support of null and invalid in OCL tools.
منابع مشابه
POUR PDF - copie 2
We present the first self-stabilizing consensus and replicated state machine for asynchronous message passing systems. The scheme does not require that all participants make a certain number of steps prior to reaching a practically infinite execution where the replicated state machine exhibits the desired behavior. In other words, the system reaches a configuration from which it operates accord...
متن کاملPOUR PDF - copie 2
In this article we study proper labelings (or valuations) of the edges of a graph by integers, such that the sums of the values taken on the edges incident to each vertex ( the weight of this vertex) are all distinct. We look for the minimum of max(v) among the possible valuations v for some particular classes of graphs.
متن کاملCopie de POUR PDF
The communication infrastructure around us is a rich but fragmented environment made of separated services corresponding to different levels of engagement. The multiscale approach to communication proposes instead to create systems that support a variable degree of engagement and smooth transitions between degrees. This paper reports on the design and evaluation of such a system called Pêle-Mêl...
متن کاملCopie de POUR PDF
Facilitating the acquisition of small targets is an active area of research. Despite the usefulness of the techniques proposed so far, we show why this topic can benefit from more fundamental work. We investigate three factors that might account for the observed drop in performance when selecting small targets: motor accuracy, visual legibility and quantization. Our findings suggest that visual...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013